1. Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
پدیدآورنده: Patrice Godefroid )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
3639
